Nuprl Definition : ma-interface-code
11,40
postcript
pdf
ma-interface-code(
I
;
i
;
k
) == ma-interface-info(
I
;
i
;
k
).2
latex
Definitions
t
.2
,
ma-interface-info(
I
;
i
;
k
)
FDL editor aliases
ma-interface-code
origin